RTXC (IA supported)

RTXC is a real time, multitasking kernel for embedded applications, and provides support for all versions of the Intel 80186, 80386, 80486 and Pentium(R) processors. RTXC was first released in 1978 in assembly language converted to C in 1985.
RTXC is a flexible, field-proven real-time kernel used in a wide variety of embedded applications. RTXC manages tasks and time, synchronizes with events and permits transferal of data between tasks. RTXC supports preemptive, round robin and time-slice task scheduling. RTXC is ROMable, supplied with source code and free of any runtime royalties. RTXC is simple, logical and easy to understand.
RTXC is delivered ready to use, ported to the specific processor and compiler you are using. The 650 page user manual is well organized and indexed, complete with application notes.
RTXC is supplied with one year free technical support including automotive software updates. The Lautherback emulator and Paradigm debugger support interoperability with RTXC.